Research Interests
Program Analysis, Compiler Optimizations, Cyber Security, Concurrent Programming, Software Engineering, Software Security
BioSketch
Research
Interactive debugging of concurrent programs under relaxed memory models
2020
Aakanksha Verma,Pankaj Kumar Kalita,Awanish Pandey,Subhajit Roy | ACM
Journal: Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization Pages: 12 ,
Deferred concretization in symbolic execution via fuzzing
2019
Awanish Pandey,Phani Raj Goutham Kotcharlakota,Subhajit Roy | ACM
Journal: ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis Pages: 10 ,
Bug synthesis: challenging bug-finding tools with deep faults
2018
Subhajit Roy,Awanish Pandey,Brendan Dolan-Gavitt,Yu Hu | ACM
Journal: ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering Pages: 10 ,
To be precise: regression aware debugging
2016
Rohan Bavishi,Awanish Pandey,Subhajit Roy | ACM
Journal: OOPSLA 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications Pages: 18 ,
Teaching Engagements
